Static program analysis - PDFSEARCH.IO - Document Search Engine

Static program analysis
Results: 262

#	Item
151	Cooperation For Better Termination Proving Marc Brockschmidt1 , Byron Cook2 , and Carsten Fuhs3 1 2 3 Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:12 IP KeY Byron Cook Formal methods Applied mathematics Theoretical computer science Static program analysis Termination analysis
152	Differential Slicing: Identifying Causal Execution Differences for Security Applications Noah M. Johnson† , Juan Caballero‡ , Kevin Zhijie Chen† , Stephen McCamant† , Pongsin Poosankam§† , Daniel Reynaud† , Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2014-10-30 21:40:55 Debugging Program analysis Program slicing Program transformation Software maintenance Static single assignment form Subroutine Algorithm Stack Computing Computer programming Software engineering
153	Why decompilation? This course is ostensibly about Optimising Compilers. It is really about program analysis and transformation. Decompilation is achieved through analysis and transformation of target code; the transform Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-03-14 06:00:00 Programming language theory Decompiler Static single assignment form Dominator C Source code Compiler construction Software engineering Computing
154	On the Benefit of Automated Static Analysis for Small and Medium-Sized Software Enterprises Mario Gleirscher1 , Dmitriy Golubitskiy1 , Maximilian Irlbeck1 , and Stefan Wagner2 1 Add to Reading List Source URL: www.iste.uni-stuttgart.de Language: English - Date: 2011-09-20 16:23:37 Source code Software testing Program analysis Static program analysis Software bug Software quality Debugging FindBugs ChecKing Software engineering Computer programming Computing
155	Visual Lint Squash bugs early with interactive C/C++, C# and Java code analysis for Microsoft Visual Studio and Eclipse If you’ve ever tried to assess the quality of a large codebase, you will know how time consuming a Add to Reading List Source URL: www.riverblade.co.uk Language: English - Date: 2011-04-05 03:43:05 PC-Lint FxCop Xoreax Grid Engine Cross-platform software Cpplint Microsoft Visual Studio Lint Static program analysis Visual C++ Software Computing Integrated development environments
156	Technical reports in Computer and Information Science Report number 2008:3 A Comparative Study of Industrial Static Analysis Tools (Extended Version) Add to Reading List Source URL: liu.diva-portal.org Language: English - Date: 2010-07-16 02:44:55 Computing Data types Type theory Procedural programming languages Polyspace Abstract interpretation Static program analysis Type system Aliasing Program analysis Software engineering Programming language theory
157	Effective Static Race Detection for Java Mayur Naik Alex Aiken John Whaley Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-04-01 19:35:06 Software engineering Concurrency control Concurrency Concurrent computing Thread Lock Parallel computing Deadlock Call graph Computing Program analysis Static program analysis
158	Do Static Type Systems Improve the Maintainability of Software Systems? An Empirical Study University of Duisburg-Essen Essen, Germany [removed] [removed] Add to Reading List Source URL: pleiad.dcc.uchile.cl Language: English - Date: 2012-05-18 10:26:19 Cross-platform software Type theory Data types Scripting languages Program analysis Type system Ada Groovy Type safety Computing Software engineering Programming language theory
159	Lecture 12 Parallelization I.  Basic Parallelization II.  Data dependence analysis III.  Interprocedural parallelization Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2015-03-02 13:00:05 Programming language implementation Compiler construction Compilers Automatic parallelization Static program analysis Parallel computing Compiler Dependence analysis Array programming Software engineering Computing Compiler optimizations
160	TAJ: Effective Taint Analysis of Web Applications Omer Tripp IBM Software Group [removed] Marco Pistoia Add to Reading List Source URL: manu.sridharan.net Language: English - Date: 2015-03-03 14:08:09 Abstract data types Cross-platform software Procedural programming languages Static program analysis Program slicing Software maintenance Priority queue Pointer C Computing Software engineering Programming language theory

UPDATE